*** empty log message ***

diff --git a/etc/NEWS b/etc/NEWS
index 3f3743e5af8a5e3559b905d30ac3ba351e129233..18110b096385ec0daeb0869cecf8e6771b14cee3 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -991,6 +991,11 @@ compatibility.
 *** The new function `comint-add-to-input-history' adds commands to the input
 ring (history).
 
+*** The new variable `comint-input-history-ignore' is a regexp for
+identifying history lines that should be ignored, like tcsh inserts in
+time-stamp strings starting a `#'.  The default value of this variable
+is "^#".
+
 ** Changes to Rmail mode
 
 *** The new user-option rmail-user-mail-address-regexp can be